language-servers/polarity
1
0
Fork 0
mirror of https://github.com/polarity-lang/polarity.git synced 2025-12-23 09:19:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
988 commits 199 branches 1 tag 8.4 MiB

Default branch

main
Some checks failed
Rust CI / Build with MSRV (push) Has been cancelled
Details
Rust CI / Check (push) Has been cancelled
Details
Rust CI / Tests (push) Has been cancelled
Details
Rust CI / Rustfmt (push) Has been cancelled
Details
Rust CI / Clippy (push) Has been cancelled
Details
Rust CI / package (push) Has been cancelled
Details
Rust CI / Check line endings (push) Has been cancelled
Details
Codecov Coverage / coverage (push) Has been cancelled
Details
Lint Code Base / Lint Code Base (push) Has been cancelled
Details
Check nix code / Check nix code (push) Has been cancelled
Details
Build and deploy web demo / deploy (push) Has been cancelled
Details

54db456e28 · Compile to JS using SWC (#531) · Updated 2025-12-17 13:00:26 +00:00
 ZIP  TAR.GZ

Branches

compile-to-js
Some checks failed
Check nix code / Check nix code (push) Has been cancelled
Details

58ba5eca4b · unimplemented error messages · Updated 2025-12-16 17:00:08 +00:00
1
26
 ZIP  TAR.GZ
literals-others

7add9e7890 · Apply suggestions from code review · Updated 2025-12-09 16:54:17 +00:00
3
7
 ZIP  TAR.GZ
global-settings

e869d02057 · Improve color handling in report renderer · Updated 2025-12-09 16:28:00 +00:00
3
4
 ZIP  TAR.GZ
literals-integers

0902af4930 · Update integer literal syntax · Updated 2025-12-09 12:29:48 +00:00
4
14
 ZIP  TAR.GZ
literals
Some checks failed
Check nix code / Check nix code (push) Has been cancelled
Details

00c445cf03 · Improve comment · Updated 2025-12-06 12:08:40 +00:00
5
20
 ZIP  TAR.GZ
locate-libs

7d7fc6c9ec · WIP: locate_libs · Updated 2025-11-25 13:50:01 +00:00
6
1
 ZIP  TAR.GZ
fix-604

658bce0b08 · More WIP · Updated 2025-11-24 18:31:54 +00:00
6
4
 ZIP  TAR.GZ
semantic-highlighting
Some checks failed
Check Examples Index / check-index (push) Has been cancelled
Details
Check nix code / Check nix code (push) Has been cancelled
Details

d59f6eac2f · fff · Updated 2025-11-24 16:21:25 +00:00
6
9
 ZIP  TAR.GZ
add-std-primitives
Some checks failed
Check nix code / Check nix code (push) Has been cancelled
Details

8b115a20ce · append is more useful than prepend · Updated 2025-11-20 14:09:33 +00:00
8
7
 ZIP  TAR.GZ
add-qualified-names

8bc6616a35 · Stub implementation in lowering · Updated 2025-11-18 15:35:48 +00:00
8
3
 ZIP  TAR.GZ
externs/ast2ir

b0e3f5c7de · Add positive test case for externs · Updated 2025-11-18 09:08:59 +00:00
9
2
 ZIP  TAR.GZ
externs/info-docs

780610e4c3 · Use correct variable name · Updated 2025-11-12 16:56:32 +00:00
11
2
 ZIP  TAR.GZ
externs/elaboration
Some checks failed
Check nix code / Check nix code (push) Has been cancelled
Details

dfe12cdc44 · Add negative test cases for typechecking · Updated 2025-11-12 16:52:25 +00:00
11
7
 ZIP  TAR.GZ
fix-let-typing

898ec52a0f · Fix well-formedness check for top-level lets · Updated 2025-11-12 16:04:19 +00:00
13
1
 ZIP  TAR.GZ
externs/lifting

5f3ff27072 · Implement lifting for extern declarations · Updated 2025-11-12 12:45:09 +00:00
13
1
 ZIP  TAR.GZ
externs/lowering

51b0a79120 · Add a few fail-lower tests · Updated 2025-11-11 16:16:44 +00:00
14
3
 ZIP  TAR.GZ
externs/lexing-parsing

75f36b2950 · Add extern keyword in web editor syntax · Updated 2025-11-11 12:18:18 +00:00
15
2
 ZIP  TAR.GZ
fix-web-demo-deploy

26bb053b1e · Fix web demo deployment · Updated 2025-11-06 11:34:37 +00:00
17
1
 ZIP  TAR.GZ
fix-405
Some checks failed
Check nix code / Check nix code (push) Has been cancelled
Details

366678dce5 · Improve naming of OverlaySource fields · Updated 2025-11-06 11:30:19 +00:00
17
11
 ZIP  TAR.GZ
update-nix

302d9b9340 · Remove deprecated apple sdk · Updated 2025-11-04 14:18:51 +00:00
18
3
 ZIP  TAR.GZ