R

rzk

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 13 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 10, 2024 — Nov 10, 2025 Showing page 10 of 28 Search / Filter on:
Update rzk.nix	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #104 from rzk-lang/improve-error-messages	Nikolai Kudasov	More...				about 2 years ago
fix: scrolling	Danila Danko	More...				about 2 years ago
Register the handler for text completion request	Abdelrahman Abounegm	More...				about 2 years ago
Define a handler for the completions request	Abdelrahman Abounegm	More...				about 2 years ago
Define default instances for text completion items	Abdelrahman Abounegm	More...				about 2 years ago
Install the data-default-class package	Abdelrahman Abounegm	More...				about 2 years ago
Improve order of error message information for LSP	Nikolai Kudasov	More...				about 2 years ago
fix: create parent dir for rzk.js	Danila Danko	More...				about 2 years ago
fix: format README, update development instructions	Danila Danko	More...				about 2 years ago
add: hls hie config	Danila Danko	More...				about 2 years ago
add: gitignore artifacts	Danila Danko	More...				about 2 years ago
fix: update paths and scripts in the ghcjs action	Danila Danko	More...				about 2 years ago
fix: make direnv work without flakes	Danila Danko	More...				about 2 years ago
fix: package name try-rzk -> rzk-js	Danila Danko	More...				about 2 years ago
fix: update flake, refactor, add scripts	Danila Danko	More...				about 2 years ago
fix: update hs code for ghc 9.6.2	Danila Danko	More...				about 2 years ago
move: try-rzk -> rzk-js	Danila Danko	More...				about 2 years ago
add: rzk-playground	Danila Danko	More...				about 2 years ago
Merge pull request #102 from rzk-lang/improve-tope-solver-eager-lem	Nikolai Kudasov	More...				about 2 years ago
Fix handling LEM (speedup tope layer solver)	Nikolai Kudasov	More...				about 2 years ago
Output entailment problems in debug mode	Nikolai Kudasov	More...				about 2 years ago
Merge branch 'release-v0.6.1' into develop	Nikolai Kudasov	More...				about 2 years ago
Bump version and update changelogs	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #99 from rzk-lang/catch-parser-exceptions	Nikolai Kudasov	More...				about 2 years ago
Catch exceptions in the parser	Nikolai Kudasov	More...				about 2 years ago
Merge branch 'release-v0.6.0' into develop	Nikolai Kudasov	More...				about 2 years ago
Bump version and update changelogs	Nikolai Kudasov	More...				about 2 years ago
Merge pull request #95 from rzk-lang/lsp	Nikolai Kudasov	More...				about 2 years ago
Do not build Language.Rzk.VSCode.* modules with GHCJS	Nikolai Kudasov	More...				about 2 years ago

←
1
2
…
6
7
8
9
10
11
12
13
14
…
27
28
→