Giter Club home page Giter Club logo
Le Garage Hermétique photo

hermetique Goto Github PK

repos: 906.0 gists: 0.0

Name: Le Garage Hermétique

Type: Organization

Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)

Le Garage Hermétique's Projects

bream icon bream

Bream is a subset/dialect of Scheme that is compiled to run on an alternative platform. More details & initial sources will follow soon.

busy-beaver icon busy-beaver

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

c-lambda-and-callback icon c-lambda-and-callback

This is a novel way to improve coding style of your project by adopting lambda expression and callback function.

c64-utils icon c64-utils

Python modules and tools for C64 cross-development and hacking.

cafeobj icon cafeobj

Development of the CafeOBJ interpreter

cake icon cake

An interpreter for a minimal but Turing-complete stack based 'concatenative' language.

callmemaybe icon callmemaybe

I was bored when I made this. I will not update it, ever.

camlboy icon camlboy

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

canard icon canard

A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl

carrot-ympbyc icon carrot-ympbyc

Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.

cascade icon cascade

An esoteric language based on overlapping tree-like structures

cast-machine icon cast-machine

Implementation of a space-efficient lambda calculus with gradual set-theoretic types.

catitor icon catitor

The extremely portable, extremely extensible line editor

cc64 icon cc64

cc64 is a small-C compiler written in Forth, hosted on the Commodore C64, Plus4 and C16 with 64k, and on the Commander X16. It is targeting the 6502 CPU.

ccbi icon ccbi

The Conforming Concurrent Befunge–98 Interpreter.

cerise icon cerise

Formalisation of a capability machine and principles for reasoning about security properties

cflexhdl icon cflexhdl

Design digital circuits in C. Simulate really fast with a regular compiler.

charm icon charm

A [ functional stack ] based language.

cherryblossom icon cherryblossom

Where programming meets haiku! CherryBlossom is a language where you write code using haiku.

chocolate icon chocolate

Talking about classical logic and abstract algebra in Haskell

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.