497 skills found · Page 1 of 17
restic / ResticFast, secure, efficient backup program
leethomason / Tinyxml2TinyXML2 is a simple, small, efficient, C++ XML parser that can be easily integrated into other programs.
eth-sri / LmqlA language for constraint-guided and efficient LLM programming.
edubart / Nelua LangMinimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
coalton-lang / CoaltonCoalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
beehive-lab / TornadoVMTornadoVM: A practical and efficient heterogeneous programming framework for managed languages
gambit / GambitGambit is an efficient implementation of the Scheme programming language.
loco-3d / CrocoddylCrocoddyl is an optimal control library for robot control under contact sequence. Its solver is based on various efficient Differential Dynamic Programming (DDP)-like algorithms
SakanaAI / ShinkaEvolveShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution 🧬
cs3110 / TextbookThe CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
arturo-lang / ArturoSimple, expressive & portable programming language for efficient scripting
csgillespie / EfficientREfficient R programming: a book
0age / Create2crunchA Rust program for finding salts that create gas-efficient Ethereum addresses via CREATE2.
ivanperez-keera / YampaFunctional Reactive Programming domain-specific language for efficient hybrid systems
rkinas / Triton ResourcesA curated list of resources for learning and exploring Triton, OpenAI's programming language for writing efficient GPU code.
tommythorn / ReduceronFPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
microsoft / AMBROSIARobust Distributed Programming Made Easy and Efficient
MPLLang / MplThe MaPLe compiler: efficient and scalable parallel functional programming
status-im / Nim ChronosChronos - An efficient library for asynchronous programming
PacktPublishing / The Art Of Writing Efficient ProgramsThe Art of Writing Efficient Programs, published by Packt
