Thinc🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Stars: ✭ 2,422 (+1058.85%)
YansollvmYet Another Not So Obfuscated LLVM
Stars: ✭ 180 (-13.88%)
DealDesign by contract for Python with static checker and tests' generation.
Stars: ✭ 164 (-21.53%)
Alive2Automatic verification of LLVM optimizations
Stars: ✭ 199 (-4.78%)
NyayaRandom Data Generation and/or Property Testing in Scala & Scala.JS.
Stars: ✭ 165 (-21.05%)
Fluture🦋 Fantasy Land compliant (monadic) alternative to Promises
Stars: ✭ 2,249 (+976.08%)
Compile To WebDiscover what languages can be compiled to Web Assembly
Stars: ✭ 164 (-21.53%)
CqlCategorical Query Language IDE
Stars: ✭ 196 (-6.22%)
Kotlin RetryA higher-order function for retrying operations that may fail.
Stars: ✭ 159 (-23.92%)
Python LensesA python lens library for manipulating deeply nested immutable structures
Stars: ✭ 179 (-14.35%)
Metalang99A functional language for C99 preprocessor metaprogramming
Stars: ✭ 152 (-27.27%)
Cmake ScriptsA selection of useful scripts for use in CMake projects, include code coverage, sanitizers, and dependency graph generation.
Stars: ✭ 202 (-3.35%)
JitfromscratchExample project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (-24.4%)
Llvm Guide ZhUser Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)
Stars: ✭ 180 (-13.88%)
ZebrasData analysis library for JavaScript built with Ramda
Stars: ✭ 192 (-8.13%)
Rhine🔬 a C++ compiler middle-end, using an LLVM backend
Stars: ✭ 157 (-24.88%)
PotigolLinguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Stars: ✭ 179 (-14.35%)
LlvmFork of the LLVM Compiler Infrastructure
Stars: ✭ 155 (-25.84%)
CoaltonCoalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Stars: ✭ 202 (-3.35%)
Fs2Compositional, streaming I/O library for Scala
Stars: ✭ 1,998 (+855.98%)
Functional ExamplesExamples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-14.35%)
PyfunctionalPython library for creating data pipelines with chain functional programming
Stars: ✭ 1,943 (+829.67%)
JitboyA Game Boy emulator with dynamic recompilation (JIT)
Stars: ✭ 190 (-9.09%)
EvilmlA compiler from ML to C++ template language
Stars: ✭ 149 (-28.71%)
Nmf AppUnderstand and reduce your carbon footprint 🌱 iOS & Android.
Stars: ✭ 176 (-15.79%)
Meow MtlNext Level MTL for Scala
Stars: ✭ 149 (-28.71%)
DoobieFunctional JDBC layer for Scala.
Stars: ✭ 1,910 (+813.88%)
CuneiformCuneiform distributed programming language
Stars: ✭ 175 (-16.27%)
MunusPower of object-oriented programming with the elegance of functional programming in PHP.
Stars: ✭ 149 (-28.71%)
Apex LambdaFunctional programming for Salesforce Apex
Stars: ✭ 189 (-9.57%)
Typelang🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Stars: ✭ 149 (-28.71%)
Ocaml JupyterAn OCaml kernel for Jupyter (IPython) notebook
Stars: ✭ 177 (-15.31%)
KinglyZero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)
Stars: ✭ 147 (-29.67%)
HybridsExtraordinary JavaScript framework with unique declarative and functional architecture
Stars: ✭ 2,529 (+1110.05%)
MonixAsynchronous, Reactive Programming for Scala and Scala.js.
Stars: ✭ 1,819 (+770.33%)
StegcloakHide secrets with invisible characters in plain text securely using passwords 🧙🏻♂️⭐
Stars: ✭ 2,379 (+1038.28%)
IspcIntel SPMD Program Compiler
Stars: ✭ 1,924 (+820.57%)
FakepdbTool for PDB generation from IDA Pro database
Stars: ✭ 186 (-11%)
Crab LlvmStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (-31.58%)
WiwinwlhWhat I Wish I Knew When Learning Haskell
Stars: ✭ 2,250 (+976.56%)
Chymyst CoreDeclarative concurrency in Scala - The implementation of the chemical machine
Stars: ✭ 142 (-32.06%)
AliveAlive: Automatic LLVM's Instcombine Verifier
Stars: ✭ 204 (-2.39%)
MarbleMarble.js - functional reactive Node.js framework for building server-side applications, based on TypeScript and RxJS.
Stars: ✭ 1,947 (+831.58%)
Play with llvmA book about LLVM & Clang(中文开源书:玩转 LLVM)
Stars: ✭ 175 (-16.27%)
LowfatLean C/C++ Bounds Checking with Low-Fat Pointers
Stars: ✭ 139 (-33.49%)
MinijitA basic x86-64 JIT compiler written from scratch in stock Python
Stars: ✭ 185 (-11.48%)
Redux MostMost.js based middleware for Redux. Handle async actions with monadic streams & reactive programming.
Stars: ✭ 137 (-34.45%)
CanoeFunctional Telegram Bot API for Scala
Stars: ✭ 137 (-34.45%)
ConduitHigh Performance Streams Based on Coroutine TS ⚡
Stars: ✭ 135 (-35.41%)
DaggerBinary Translator to LLVM IR
Stars: ✭ 174 (-16.75%)
PlasmaPlasma Programming Language
Stars: ✭ 133 (-36.36%)
Swift PlaygroundsCollection of Swift playgrounds used in my posts: From functional aspects of Swift to C interoperability.
Stars: ✭ 134 (-35.89%)
Awesome LlvmA curated list of awesome LLVM related docs, tools, and other resources.
Stars: ✭ 184 (-11.96%)
Fake嵌入式脚本语言 Lightweight embedded scripting language
Stars: ✭ 172 (-17.7%)