Skip to content

Latest commit

 

History

117 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Silica

Silica is an experimental (toy) systems programming language.

See Design.md for the language design.

Silica is still in its early stages. I am currently building out the type system. Once that's in place, I will build out the parser and backend code generation. The design itself is relatively stable, however, I expect to make changes as implementation reveals any flaws.

About

An experimental systems programming language, that aims to combine algebraic effects, coroutines, linear types, and binary type states.

Resources

Stars

2 stars

Watchers

1 watching

Forks

Releases

Packages

Used by

Contributors

Languages