Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.
-
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
-
The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems
-
-
Customizable Typescript SDK for interacting with Cardano DEXs
-
NVIDIA GPUDirect Storage Driver
-
Koka language compiler and interpreter
-
Strong type constraints for Scala
-
A friendly programming language from the future
Starred Topics
-
Scala
Scala is an object-oriented programming language.
StarredJan 17, 2020 -
Rust
Rust is a systems programming language created by Mozilla.
StarredJan 17, 2020 -
PostgreSQL
PostgreSQL is an open source database system.
StarredJan 17, 2020 -
Monero
Monero is a private, fungible, open source, decentralized cryptocurrency.
StarredJan 17, 2020 -
Linux
Linux is an open source kernel.
StarredJan 17, 2020 -
LaTeX
LaTeX is a document preparation system.
StarredJan 17, 2020 -
Kubernetes
Kubernetes is an open source system for automating deployment, scaling, and management of containerized applications.
StarredJan 17, 2020 -
Haskell
Haskell is a functional programming language with non-strict semantics, and strong static typing.
StarredJan 17, 2020 -
Firefox
Firefox is an open source web browser from Mozilla.
StarredJan 17, 2020 -
Emacs
Emacs is an extensible, customizable, free text editor and computing environment.
StarredJan 17, 2020