programming languages, formal verification, functional programming, game theory.
Lists (2)
Sort Name ascending (A-Z)
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Motoko
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- PureScript
- Python
- R
- Racket
- Ruby
- Rust
- SMT
- Scala
- ShaderLab
- Shell
- Smalltalk
- Solidity
- Standard ML
- Stylus
- Swift
- TeX
- TypeScript
- V
- Verilog
- WebAssembly
- Zig
Starred repositories
5
stars
written in Crystal
Clear filter
A collection of containers & algorithms for the Crystal programming language
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
A simple genealogy model written in crystal.