hermetique Goto Github PK
Name: Le Garage Hermétique
Type: Organization
Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)
Name: Le Garage Hermétique
Type: Organization
Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)
Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter and compiler.
An esoteric Turing complete programming language
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs.
An archive of various Funge-related material, focusing on (Be)funge-98.
Corewars in Funge
A benchmark suite for Befunge–98 interpreters.
Turns integers into Funge-98 code to push that integer.
fungot, a Funge-98 bot
A Functional intermediate language
You are trapped on an infinite tile floor along with murderous marbles
The web framework nobody asked for, wants, or needs.
Combine games and generate a new one
A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation system.
Embedded C code generation DSL for Haskell.
A grammar-based generator and parser generator
An interpreter for concatenative combinators (i.e. Combinators as a functional language)
Simple proof checker for equational logic
Automatically exported from code.google.com/p/ghilbert
A "implementation" of Girard's paradox in OCaml
Normalization for Gödel's system T using a glueing model construction
my tools to search for Gardens of Eden in Conway's Game of Life
Plan recognition system based on the situation calculus and action language Golog, written in Haskell
A toy functional language created through the abuse of C
The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.
GPM/CLR is an implementation of the historical Gardens-Point Modula-2 compiler for the .NET runtime. It provides an example of how a non-typesafe, unmanaged data compiler may be implemented on the CLR.
Generating combinatorial objects described by a grammar
A mathematical game for two players
a steady descent into madness
Gridrunner (1982) by Jeff Minter
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.