LPTK's Stars
rust-lang/rust
Empowering everyone to build reliable and efficient software.
nim-lang/Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
lauris/awesome-scala
A community driven list of useful Scala libraries, frameworks and software.
scala-native/scala-native
Your favorite language gets closer to bare metal.
piroor/treestyletab
Tree Style Tab, Show tabs like a tree.
solodon4/Mach7
Functional programming style pattern-matching library for C++
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
typelevel/simulacrum
First class syntax support for type classes in Scala
sirthias/parboiled2
A macro-based PEG parser generator for Scala 2.10+
com-lihaoyi/upickle
uPickle: a simple, fast, dependency-free JSON & Binary (MessagePack) serialization library for Scala
cvogt/cbt
CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala
aziz/SublimeANSI
ANSI escape codes color highlighting for SublimeText 3
scala-records/scala-records
Labeled records for Scala based on structural refinement types and macros.
scalamacros/paradise
(No longer actively maintained.)
scala-lms/tutorials
Tutorials on Lightweight Modular Staging
cvogt/compossible
Scala Records: Extensible records and type-indexed maps
germandiagogomez/the-cpp-abstraction-penalty
Modern C++ benchmarking
metaocaml/ber-metaocaml
Unofficial git mirror of the BER MetaOCaml patchset.
epfldata/sc-public
Example DSLs for working with SC
LPTK/SeaglPrototype