aveia

aveia's Stars

• byorgey/haskell-course

  Introductory Haskell course materials (originally CIS 194 @ UPenn)

  Language:Haskell27521

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.1k1.2k

• shiyanhui/libcsp

  A concurrency C library 10x faster than Golang.

  Language:C1.3k74

• SasLuca/rayfork

  C99 Game Library. XNA-like. Platform Independent. Allocator Aware.

  Language:C32919

• facebookarchive/pfff

  Tools for code analysis, visualizations, or style-preserving source transformation.

  Language:OCaml2.4k205

• vmchale/madlang

  Madlang is a language for generative literature

  Language:Haskell513

• alhassy/HaskellCheatSheet

  A reference sheet for the basics of the mind-expanding Haskell language ^_^

  281

• bitemyapp/fp-course

  Fork of the original Data61 course to be more Stack friendly

  Language:Haskell43588

• harrisonwl/harrisonwl.github.io

  Language:VHDL5

• ioannad/jeffrey

  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

  Language:Common Lisp264

• jeremycw/httpserver.h

  Single header library for writing non-blocking HTTP servers in C

  Language:C1.8k145

• marcoheisig/sb-simd

  A convenient SIMD interface for SBCL.

  Language:Common Lisp785

• askn/crystal-by-example

  Crystal By Example

  Language:Crystal54942

• SolarLune/resolv

  A Simple 2D Golang collision detection and resolution library for games

  Language:Go44442

• slburson/fset

  FSet, the functional collections library for Common Lisp.

  Language:Common Lisp19617

• watabou/TownGeneratorOS

  The source code of the Medieval Fantasy City Generator

  Language:Haxe1.6k234

• mxgmn/WaveFunctionCollapse

  Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

  Language:C#23.3k1.2k

• janet-lang/janet

  A dynamic language and bytecode vm

  Language:C3.5k227

• dflemstr/tin

  A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.

  Language:Rust632

• evincarofautumn/lll

  A Linear-Logical Language (working title)

  Language:Haskell5

• martincohen/Ri

  Tiny statically-typed (embeddable) language.

  Language:C482

• BinaryAnalysisPlatform/bap

  Binary Analysis Platform

  Language:OCaml2.1k273

• myst-lang/myst

  A structured, dynamic, general-purpose language.

  Language:Crystal11817

• eatonphil/x86e

  A simple x86 emulator, debugger, and editor in JavaScript.

  Language:JavaScript1038

• eatonphil/ulisp

  A compiler for a lisp-like language targeting LLVM IR, x86 assembly

  Language:JavaScript12816

• collinalexbell/daemon-clj

  Daemons insipred by The Golden Compas

  Language:Clojure133

• mishoo/cl-uglify-js

  JavaScript compressor/beautifier library for Common Lisp

  Language:Common Lisp6910

• EmbarkStudios/texture-synthesis

  🎨 Example-based texture synthesis written in Rust 🦀

  Language:Rust1.8k84

• charlesnicholson/nanoprintf

  The smallest public printf implementation for its feature set.

  Language:C++60440

• meagtan/GRAIL-function-generator

  Automatically generates functions for abstract data types given their GRAIL representation.

  Language:Common Lisp5