issues
search
Cypher1
/
tako
An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
docs: add cypher1 as a contributor for code, and design
#411
allcontributors[bot]
closed
6 months ago
0
Update Contributors
#410
Cypher1
closed
6 months ago
2
Make as_context less generic as it is only used for Expr Indexes
#409
Cypher1
closed
6 months ago
0
Use a name tracking context type for prints
#408
Cypher1
closed
6 months ago
0
Introduce as_context macro for building a common pattern of using a type as context for another type (e.g. IDs) for display purposes
#407
Cypher1
closed
6 months ago
0
Update example code and add tests and parsee support for blocks
#406
Cypher1
closed
6 months ago
0
Add todo for llamada
#405
Cypher1
closed
6 months ago
0
Testing: Set up basic example parse tests
#404
Cypher1
closed
6 months ago
0
Update .all-contributorsrc
#403
Cypher1
closed
6 months ago
0
Improve handling of keywords
#402
Cypher1
closed
6 months ago
0
Add examples of planned features
#401
Cypher1
closed
6 months ago
0
Fix pointer type error
#400
Cypher1
closed
6 months ago
0
Make reserved keywords file into a raw txt file
#399
Cypher1
closed
6 months ago
0
Update dependencies
#398
Cypher1
closed
7 months ago
0
Update dependencies
#397
Cypher1
closed
7 months ago
0
Bump h2 from 0.3.24 to 0.3.26
#396
dependabot[bot]
closed
7 months ago
0
Fix for incorrect reduction and macro use
#395
Cypher1
closed
8 months ago
0
Test fixes for llamada
#394
Cypher1
closed
6 months ago
0
Bump mio from 0.8.8 to 0.8.11
#393
dependabot[bot]
closed
8 months ago
0
Clean up and testing of expr macros
#392
Cypher1
closed
8 months ago
0
Bump shlex from 1.1.0 to 1.3.0
#391
dependabot[bot]
closed
8 months ago
0
Bump h2 from 0.3.20 to 0.3.24
#390
dependabot[bot]
closed
8 months ago
0
Working on lowering to Llamada (System F)
#389
Cypher1
closed
1 year ago
0
Parallelism/Concurrency&Async library should come a diagnostic visualisation to find bottlenecks and hangs
#388
Cypher1
opened
1 year ago
0
Parallel tasks should be able to be split into windows/tabs
#387
Cypher1
opened
1 year ago
0
Keybindings & ? / Control+P in interactive mode
#386
Cypher1
opened
1 year ago
0
Achieve hello world with LLVM
#385
Cypher1
closed
1 year ago
0
Multiline nested comments and a fix for negative numbers
#384
Cypher1
closed
1 year ago
0
Shorten action names for improved UI in github
#383
Cypher1
closed
1 year ago
0
Default to running interpreter
#382
Cypher1
closed
1 year ago
0
Shebang support
#381
Cypher1
closed
1 year ago
0
Update readme with cargo install advice
#380
Cypher1
closed
1 year ago
0
Lowering to LLVM for binaries and WASM
#379
Cypher1
opened
1 year ago
0
Rename takoc to tako and tako(lib) to takolib
#378
Cypher1
closed
1 year ago
0
Lower to lambda
#377
Cypher1
closed
1 year ago
0
Stubs for Lower to lambda
#376
Cypher1
closed
1 year ago
0
Goals / Vision section of todo.md
#375
Cypher1
closed
1 year ago
0
Arcify String interner
#374
Cypher1
closed
1 year ago
0
Arc optimisations to avoid deep clones
#373
Cypher1
closed
1 year ago
0
Cleanup typed index
#372
Cypher1
closed
1 year ago
0
Cleanup
#371
Cypher1
closed
1 year ago
0
Add xtask for coverage and ci
#370
Cypher1
closed
1 year ago
0
Cleanup
#369
Cypher1
closed
1 year ago
0
Cleanup: Restructure modules to avoid util naming antipattern
#368
Cypher1
closed
1 year ago
0
Support Calls and egraphs
#367
Cypher1
closed
1 year ago
0
Desugarer using equivalents
#366
Cypher1
closed
1 year ago
0
Add desugarer & improve lambda calculus representation
#365
Cypher1
closed
1 year ago
0
Bump versions
#364
Cypher1
closed
1 year ago
0
Add butter-graph and improve llamada calculus representations
#363
Cypher1
closed
1 year ago
0
Extensible llamadas
#362
Cypher1
closed
1 year ago
0
Next