planetmath / 68_Computer_science
☆19Updated last year
Alternatives and similar repositories for 68_Computer_science:
Users that are interested in 68_Computer_science are comparing it to the libraries listed below
- A bidirectional path tracer written in C.☆51Updated 10 years ago
- Raytracing using C++ template metaprogramming☆11Updated 13 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Startle C Library☆18Updated 6 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 13 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Updated 7 years ago
- A Haskell port of the C++ smallpt path tracer☆15Updated 4 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- A library of tools for compiler construction.☆12Updated 8 years ago
- Generate SSE expressions from prefix expressions☆20Updated 14 years ago
- yet *another* hydrodynamics/hyperbolic conservation law solver, this one in LuaJIT using OpenCL/OpenGL☆25Updated last week
- Original Joy☆10Updated 4 months ago
- ☆19Updated 4 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- functional programming in cpp.☆42Updated 11 years ago
- Raytracer in Common Lisp, used sb-cga for vectorization.☆14Updated 13 years ago
- ☆19Updated 8 years ago
- Functional Lenses in C++☆21Updated 13 years ago
- The CWEB System of Structured Documentation☆29Updated 9 years ago
- Easily batch-build cmake projects!☆17Updated last month
- 3D simulation viewer for Folding@home☆16Updated 5 years ago
- Literate Programming in C/C++☆31Updated last week
- ☆21Updated 12 years ago
- Jekyll site for C++Now!☆9Updated 7 years ago
- ☆19Updated 13 years ago
- Parser for language from Elements of Programming☆38Updated 11 years ago
- ☆23Updated 10 years ago
- C++ compile-time Prolog interpreter☆65Updated 11 years ago