Compilers and Interpreters

Tooling to create compilers and interpreters

238 results

@hackage/Befunge93
An interpreter for the Befunge-93 Programming Language
BSD-3-Clausev0.1
@hackage/CPBrainfuck
A simple Brainfuck interpretter.
BSD-3-Clausev1.1
@hackage/CPL
An interpreter of Hagino's Categorical Programming Language (CPL).
BSD-3-Clausev0.0.9
@hackage/DeepDarkFantasy
A DSL for creating neural network.
LicenseRef-Apachev0.2017.8.19
@hackage/Delta-Lambda
A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
MITv0.3.0.0
@hackage/Elm
The Elm language module.
BSD-3-Clausev0.13
@hackage/Fungi
Funge-98 interpreter written in Haskell
BSD-3-Clausev1.0.6
@hackage/HARM
A simple ARM emulator in haskell
LicenseRef-OtherLicensev0.1.4
@hackage/Haschoo
Minimalist R5RS Scheme interpreter
BSD-3-Clausev0.1.2
@hackage/INblobs
Editor and interpreter for Interaction Nets
LicenseRef-LGPLv0.1.1
@hackage/Jikka
A transpiler from Python to C++ for competitive programming
LicenseRef-Apachev5.6.0.0
@hackage/KiCS
A compiler from Curry to Haskell
LicenseRef-OtherLicensev0.9.3
@hackage/LambdaShell
Simple shell for evaluating lambda expressions
LicenseRef-GPLv0.9.3
@hackage/NXTDSL
Generate NXC Code from DSL
BSD-3-Clausev0.4
@hackage/TinyLaunchbury
Simple implementation of call-by-need using Launchbury's semantics
BSD-3-Clausev1.0.1
@hackage/TransformeR
eDSL in R for Safe Variable Transformarion
BSD-3-Clausev0.1.0.0
@hackage/TypeIlluminator
TypeIlluminator is a prototype tool exploring debugging of type errors/
BSD-3-Clausev0.0
@hackage/accelerate
An embedded language for accelerated array processing
BSD-3-Clausev1.3.0.0
@hackage/accelerate-bignum
Fixed-length large integer arithmetic for Accelerate
BSD-3-Clausev0.3.0.0
@hackage/accelerate-cuda
Accelerate backend for NVIDIA GPUs
BSD-3-Clausev0.17.0.0
@hackage/accelerate-examples
Examples using the Accelerate library
BSD-3-Clausev1.3.0.0
@hackage/accelerate-fft
FFT using the Accelerate library
BSD-3-Clausev1.3.0.0
@hackage/accelerate-io
Convert between Accelerate arrays and raw pointers
BSD-3-Clausev1.3.0.0
@hackage/accelerate-llvm
Accelerate backend component generating LLVM IR
BSD-3-Clausev1.3.0.0
@hackage/accelerate-llvm-native
Accelerate backend for multicore CPUs
BSD-3-Clausev1.3.0.0
@hackage/accelerate-llvm-ptx
Accelerate backend for NVIDIA GPUs
BSD-3-Clausev1.3.0.0
@hackage/agda2hs
Compiling Agda code to readable Haskell.
BSD-3-Clausev1.2
@hackage/ajhc
Haskell compiler that produce binary through C language
GPL-2.0-onlyv0.8.0.10
@hackage/alms
a practical affine language
BSD-3-Clausev0.6.9
@hackage/alpha
A compiler for the Alpha language
BSD-3-Clausev1.0.15
@hackage/amrun
Interpreter for AM
LicenseRef-GPLv0.0.0.7
@hackage/angle
A small, general-purpose programming language.
GPL-3.0-onlyv0.8.1.0
@hackage/annah
Medium-level language that desugars to Morte
BSD-3-Clausev1.0.0
@hackage/asic
Action Script Instrumentation Compiler
LicenseRef-LGPLv1.2
@hackage/asil
Action Script Instrumentation Library
LicenseRef-LGPLv1.2
@hackage/atuin
Embedded Turtle language compiler in Haskell, with Epic output
BSD-3-Clausev0.1.1
@hackage/baskell
An interpreter for a small functional language
LicenseRef-GPLv0.1.1
@hackage/binaryen
Haskell bindings to binaryen
BSD-3-Clausev0.0.6.0
@hackage/bond
Bond schema compiler and code generator
MITv0.13.0.0
@hackage/bound
Making de Bruijn Succ Less
BSD-3-Clausev2.0.7
@hackage/bound-extras
ScopeH and ScopeT extras for bound
BSD-3-Clausev0.0.2
@hackage/bound-gen
Unwrap Scope's with globally fresh values
MITv0.1.0.2
@hackage/brainfuck
Brainfuck interpreter
LicenseRef-GPLv0.1.0.4
@hackage/brainfuck-monad
BrainFuck monad
BSD-3-Clausev0.5.2
@hackage/cao
CAO Compiler
LicenseRef-GPLv0.1.1
@hackage/cfipu
cfipu processor for toy brainfuck-like language
BSD-3-Clausev1.1.0.4
@hackage/cfopu
cfopu processor
BSD-3-Clausev1.0.0
@hackage/circ
A Compiler IR Compiler.
BSD-3-Clausev0.0.4
@hackage/cnc-spec-compiler
Compiler/Translator for CnC Specification Files.
BSD-3-Clausev0.2.0.1
@hackage/compilation
Haskell functionality for quickly assembling simple compilers.
GPL-3.0-onlyv0.0.0.3
@hackage/control-dsl
An alternative to monads in @do@-notation
BSD-3-Clausev0.2.1.3
@hackage/core-compiler
compile your own mini functional language with Core
MITv0.1.0.2
@hackage/core-haskell
A subset of Haskell using in UCC for teaching purpose
BSD-3-Clausev0.6.4
@hackage/datafix
Fixing data-flow problems
ISCv0.0.1.0
@hackage/dataflow
Generate Graphviz documents from a Haskell representation.
BSD-3-Clausev0.7.3.0
@hackage/dcpu16
DCPU-16 Emulator & Assembler
BSD-3-Clausev0.1.0.2
@hackage/ddc-base
Disciplined Disciple Compiler common utilities.
MITv0.4.2.1
@hackage/ddc-build
Disciplined Disciple Compiler build framework.
MITv0.4.3.1
@hackage/ddc-code
Disciplined Disciple Compiler base libraries.
MITv0.4.3.2
@hackage/ddc-core
Disciplined Disciple Compiler core language and type checker.
MITv0.4.3.1
@hackage/ddc-core-babel
Disciplined Disciple Compiler PHP code generator.
MITv0.4.3.1
@hackage/ddc-core-eval
Disciplined Disciple Compiler semantic evaluator for the core language.
MITv0.4.1.3
@hackage/ddc-core-flow
Disciplined Disciple Compiler data flow compiler.
MITv0.4.3.1
@hackage/ddc-core-llvm
Disciplined Disciple Compiler LLVM code generator.
MITv0.4.3.1
@hackage/ddc-core-salt
Disciplined Disciple Compiler C code generator.
MITv0.4.3.1
@hackage/ddc-core-simpl
Disciplined Disciple Compiler code transformations.
MITv0.4.3.1
@hackage/ddc-core-tetra
Disciplined Disciple Compiler intermediate language.
MITv0.4.3.1
@hackage/ddc-driver
Disciplined Disciple Compiler top-level driver.
MITv0.4.3.1
@hackage/ddc-interface
Disciplined Disciple Compiler user interface support.
MITv0.4.1.3
@hackage/ddc-source-tetra
Disciplined Disciple Compiler source language.
MITv0.4.3.1
@hackage/ddc-tools
Disciplined Disciple Compiler command line tools.
MITv0.4.3.1
@hackage/ddc-war
Disciplined Disciple Compiler test driver and buildbot.
MITv0.4.1.3
@hackage/ddci-core
Disciple Core language interactive interpreter.
MITv0.2.1.2
@hackage/dedukti
A type-checker for the λΠ-modulo calculus.
LicenseRef-GPLv1.1.4
@hackage/dhall
A configuration language guaranteed to terminate
BSD-3-Clausev1.42.1
@hackage/dhall-bash
Compile Dhall to Bash
BSD-3-Clausev1.0.41
@hackage/dhall-csv
Convert bidirectionally between Dhall and CSV files.
BSD-3-Clausev1.0.4
@hackage/dhall-docs
Generate HTML docs from a dhall package
BSD-3-Clausev1.0.11
@hackage/dhall-json
Convert between Dhall and JSON or YAML
BSD-3-Clausev1.7.12
@hackage/dhall-nix
Dhall to Nix compiler
BSD-3-Clausev1.1.26
@hackage/dhall-openapi
Convert an OpenAPI specification to a Dhall package
BSD-3-Clausev1.0.6
@hackage/dhall-text
Template text using Dhall
BSD-3-Clausev1.0.18
@hackage/dhall-text-shell
Render dhall text with shell commands as function arguments
MITv0.2.0.0
@hackage/dhall-toml
Convert between Dhall and TOML
BSD-3-Clausev1.0.3
@hackage/dhall-yaml
Convert between Dhall and YAML
GPL-3.0-onlyv1.2.12
@hackage/do-notation-dsl
An alternative to monads
BSD-3-Clausev0.1.0.3
@hackage/egison
Programming language with non-linear pattern-matching against non-free data
MITv4.1.3
@hackage/egison-tutorial
A tutorial program for the Egison programming language
MITv4.1.3
@hackage/elm-bridge
Derive Elm types and Json code from Haskell types, using aeson's options
BSD-3-Clausev0.8.3
@hackage/elm-build-lib
Compile Elm code to JS within Haskell
BSD-3-Clausev0.14.0.0
@hackage/elm-compiler
Values to help with elm-package, elm-make, and elm-lang.org.
BSD-3-Clausev0.15
@hackage/elm-core-sources
Source files for the Elm runtime and standard libraries
BSD-3-Clausev1.0.0
@hackage/elm-reactor
Interactive development tool for Elm programs
BSD-3-Clausev0.3.1
@hackage/elm-server
Server for developing Elm projects
BSD-3-Clausev0.11.0.1
@hackage/elm-street
Crossing the road between Haskell and Elm
MPL-2.0v0.2.2.1
@hackage/elm-syntax
Elm syntax and pretty-printing
BSD-3-Clausev0.3.3.0
@hackage/epic
Compiler for a simple functional language
BSD-3-Clausev0.9.3.3
@hackage/exploring-interpreters
A generic exploring interpreter for exploratory programming
BSD-3-Clausev1.5.0.1
@hackage/feldspar-compiler
Compiler for the Feldspar language
BSD-3-Clausev0.7
@hackage/flite
f-lite compiler, interpreter and libraries
BSD-3-Clausev0.1.2
@hackage/flp
A layout spec language for memory managers implemented in Rust.
MITv0.1.0.0
@hackage/formal
A statically typed, functional programming language
MITv0.1.0
@hackage/forml
A statically typed, functional programming language
MITv0.2
@hackage/fst
Finite state transducers
BSD-3-Clausev0.10.0.1
@hackage/funcons-simple
A modular interpreter for executing SIMPLE funcons
MITv0.1.0.7
@hackage/funcons-tools
A modular interpreter for executing funcons
MITv0.2.0.15
@hackage/funcons-values
Library providing values and operations on values in a fixed universe.
MITv0.1.0.9
@hackage/gf
Grammatical Framework
LicenseRef-OtherLicensev3.11
@hackage/ghci-haskeline
An implementation of ghci using the Haskeline line-input library.
BSD-3-Clausev0.2
@hackage/ghclive
Interactive Haskell interpreter in a browser.
BSD-3-Clausev0.1.0.2
@hackage/gibbon
A compiler for operating on serialized trees.
BSD-3-Clausev0.1.1
@hackage/glambda
A simply typed lambda calculus interpreter, written with GADTs
BSD-3-Clausev1.0.2
@hackage/gotyno-hs
A type definition compiler supporting multiple output languages.
BSD-2-Clausev1.1.0
@hackage/graph-rewriting-lambdascope
Lambdascope, an optimal evaluator of the lambda calculus
BSD-3-Clausev0.5.11
@hackage/graph-rewriting-ski
Two interactive evalutors of the SKI combinator calculus
BSD-3-Clausev0.6.8
@hackage/graph-rewriting-trs
Interactive evaluation of first-order applicative term rewrite systems
BSD-3-Clausev0.1.10
@hackage/graph-rewriting-ww
Interactive evaluator of the lambda-calculus with explicit sharing
BSD-3-Clausev0.3.8
@hackage/gulcii
graphical untyped lambda calculus interactive interpreter
GPL-2.0-onlyv0.3
@hackage/hLLVM
A library for analyzing and transforming LLVM (3.5) assembly codes
BSD-3-Clausev0.5.0.1
@hackage/hackager
Hackage testing tool
BSD-3-Clausev1.3.0.1
@hackage/haskeem
A small scheme interpreter
LicenseRef-GPLv0.7.16
@hackage/haskell-to-elm
Generate Elm types and JSON encoders and decoders from Haskell types
BSD-3-Clausev0.3.2.0
@hackage/haskelm
Elm to Haskell translation
BSD-3-Clausev0.1.12.0
@hackage/haste-compiler
Haskell To ECMAScript compiler
BSD-3-Clausev0.6.0.0
@hackage/hcc
A toy C compiler.
BSD-3-Clausev0.0.0
@hackage/helisp
An incomplete Elisp compiler
BSD-3-Clausev0.1
@hackage/helium
The Helium Compiler.
LicenseRef-GPLv1.8.1
@hackage/heystone
Haskell bindings for the Keystone assembler framework
GPL-2.0-onlyv0.1.0
@hackage/hgom
An haskell port of the java version of gom
LicenseRef-GPLv0.6
@hackage/hiccup
Relatively efficient Tcl interpreter with support for basic operations
LicenseRef-GPLv0.40
@hackage/hint
A Haskell interpreter built on top of the GHC API
BSD-3-Clausev0.9.0.8
@hackage/hint-server
A server process that runs hint.
BSD-3-Clausev1.4.3
@hackage/hinter
Runtime Haskell interpreter (GHC API wrapper)
BSD-3-Clausev0.1.0.0
@hackage/hjs
JavaScript Parser
BSD-3-Clausev0.2.1
@hackage/hoe
hoe: Haskell One-liner Evaluator
BSD-3-Clausev1.1.0
@hackage/hoopl
A library to support dataflow analysis and optimization
BSD-3-Clausev3.10.2.2
@hackage/hs2bf
Haskell to Brainfuck compiler
BSD-3-Clausev0.6.2
@hackage/husk-scheme
R5RS Scheme interpreter, compiler, and library.
MITv3.20
@hackage/husk-scheme-libs
Extra libraries for the husk Scheme platform.
MITv0.0.1
@hackage/hybrid
A implementation of a type-checker for Lambda-H
BSD-3-Clausev2.0
@hackage/hyper-haskell-server
Server back-end for the HyperHaskell graphical Haskell interpreter
BSD-3-Clausev0.2.3.1
@hackage/hypertypes
Typed ASTs
BSD-3-Clausev0.2.2
@hackage/idris
Functional Programming Language with Dependent Types
BSD-3-Clausev1.3.4
@hackage/inferno-core
A statically-typed functional scripting language
MITv0.1.0.0
@hackage/inferno-lsp
LSP for Inferno
MITv0.1.0
@hackage/inferno-types
Core types for Inferno
MITv0.1.0.0
@hackage/inferno-vc
Version control server for Inferno
MITv0.1.0
@hackage/intcode
Advent of Code 2019 intcode interpreter
ISCv0.3.0.0
@hackage/j
J in Haskell
BSD-3-Clausev0.3.0.1
@hackage/jacinda
Functional, expression-oriented data processing language
AGPL-3.0-onlyv3.1.1.1
@hackage/jsonnet
Jsonnet implementaton in pure Haskell
BSD-3-Clausev0.3.1.1
@hackage/koneko
a concatenative not-quite-lisp for kittens
GPL-3.0-or-laterv0.0.2
@hackage/lambda
Interpreters for lambda calculus, calculus of constructions, and more
MITv0.1.0.0
@hackage/lambda-ast
Lambda Calculi Abstract Syntax Trees
BSD-3-Clausev0.0.12
@hackage/lambda2js
Untyped Lambda calculus to JavaScript compiler
GPL-3.0-onlyv0.1.0.1
@hackage/lambdacube
A simple lambda cube type checker.
BSD-3-Clausev2008.12.25
@hackage/lambdacube-compiler
LambdaCube 3D is a DSL to program GPUs
BSD-3-Clausev0.6.0.1
@hackage/language-dickinson
A language for generative literature
BSD-3-Clausev1.4.3.1
@hackage/lazyboy
An EDSL for programming the Game Boy.
BSD-3-Clausev0.2.2.0
@hackage/lhc
LHC Haskell Compiler
LicenseRef-PublicDomainv0.10
@hackage/linear-accelerate
Lifting linear vector spaces into Accelerate
BSD-3-Clausev0.7.0.0
@hackage/llvm
Bindings to the LLVM compiler toolkit.
BSD-3-Clausev3.2.0.2
@hackage/llvm-base
FFI bindings to the LLVM compiler toolkit.
BSD-3-Clausev3.2.0.2
@hackage/llvm-base-util
Utilities for bindings to the LLVM compiler toolkit.
BSD-3-Clausev3.0.1.0
@hackage/llvm-dsl
Support for writing an EDSL with LLVM-JIT as target
BSD-3-Clausev0.1.2
@hackage/llvm-extension
Processor specific intrinsics for the llvm interface
BSD-3-Clausev0.0
@hackage/llvm-extra
Utility functions for the llvm interface
BSD-3-Clausev0.12.1
@hackage/llvm-ffi
FFI bindings to the LLVM compiler toolkit.
BSD-3-Clausev16.0
@hackage/llvm-ffi-tools
Tools for maintaining the llvm-ffi package
BSD-3-Clausev0.0.1
@hackage/llvm-general
General purpose LLVM bindings
BSD-3-Clausev3.5.1.2
@hackage/llvm-general-pure
Pure Haskell LLVM functionality (no FFI).
BSD-3-Clausev3.5.1.0
@hackage/llvm-general-quote
QuasiQuoting llvm code for llvm-general
BSD-3-Clausev0.2.0.0
@hackage/llvm-hs
General purpose LLVM bindings
BSD-3-Clausev9.0.1
@hackage/llvm-hs-pure
Pure Haskell LLVM functionality (no FFI).
BSD-3-Clausev9.0.0
@hackage/llvm-ht
Bindings to the LLVM compiler toolkit with some custom extensions.
BSD-3-Clausev0.7.0.0
@hackage/llvm-party
General purpose LLVM bindings
BSD-3-Clausev12.1.1
@hackage/llvm-tf
Bindings to the LLVM compiler toolkit using type families.
BSD-3-Clausev16.0
@hackage/lvmlib
The Lazy Virtual Machine (LVM).
BSD-3-Clausev1.1
@hackage/lvmrun
The Lazy Virtual Machine (LVM) Runtime System.
LicenseRef-LGPLv1.0
@hackage/mappy
A functional programming language focused around maps.
BSD-3-Clausev0.1.3.1
@hackage/maxsharing
Maximal sharing of terms in the lambda calculus with letrec
BSD-3-Clausev1.1
@hackage/microc
microc compiler
BSD-3-Clausev1.0.0.1
@hackage/miv
Vim plugin manager written in Haskell
MITv0.4.8
@hackage/morloc
A multi-lingual, typed, workflow language
GPL-3.0-onlyv0.33.0
@hackage/morte
A bare-bones calculus of constructions
BSD-3-Clausev1.7.2
@hackage/nom
Name-binding & alpha-equivalence
BSD-3-Clausev0.1.0.2
@hackage/nominal
Binders and alpha-equivalence made easy
GPL-3.0-onlyv0.3.0.0
@hackage/noodle
the noodle programming language
LicenseRef-OtherLicensev0.0.19
@hackage/ntha
A tiny statically typed functional programming language.
BSD-3-Clausev0.1.3
@hackage/omega
A purely functional programming language and a proof system
BSD-3-Clausev1.5.2
@hackage/oplang
Stack-based esoteric programming language
GPL-3.0-onlyv0.5.0.0
@hackage/optimusprime
A supercompiler for f-lite
BSD-3-Clausev0.0.1.20091117
@hackage/pcf
A one file compiler for PCF
MITv0.1.0.1
@hackage/peg
a lazy non-deterministic concatenative programming language
GPL-3.0-onlyv0.2
@hackage/pesca
Proof Editor for Sequent Calculus
LicenseRef-GPLv4.0.1
@hackage/pi-forall
Demo implementation of typechecker for dependently-typed language
BSD-3-Clausev0.1.1
@hackage/piet
A Piet interpreter
BSD-3-Clausev0.1
@hackage/polyglot
Haskell to Purescript & Scala 3 transpiler
BSD-3-Clausev0.1.1.0
@hackage/portager
DSL for configuring Gentoo portage
BSD-3-Clausev0.1.1.0
@hackage/pretty-loc
Tracking and highlighting of locations in source files
BSD-3-Clausev0.1.0.1
@hackage/record-preprocessor
Compiler preprocessor introducing a syntactic extension for anonymous records
MITv0.1.1.1
@hackage/risc386
Reduced instruction set i386 simulator
BSD-3-Clausev0.0.20230928
@hackage/secd
A Haskell implementation of the SECD abstract machine
BSD-3-Clausev0.1.0.0
@hackage/secdh
SECDH Machine Simulator
BSD-3-Clausev0.2
@hackage/servant-to-elm
Automatically generate Elm clients for Servant APIs
BSD-3-Clausev0.4.3.0
@hackage/shell-monad
shell monad
BSD-3-Clausev0.6.10
@hackage/shimmer
The Reflective Lambda Machine
MITv0.1.3.4
@hackage/simple-atom
Atom (or symbol) datatype for fast comparision and sorting.
BSD-3-Clausev0.2
@hackage/simple-pascal
Simplified Pascal language to SSVM compiler
BSD-3-Clausev0.1
@hackage/simple-stacked-vm
Simple stacked virtual machine: assembler, disassembler, bytecode interpreter
BSD-3-Clausev0.1.2
@hackage/sixty-five-oh-two
An eDSL for writing 65(C)02 bytecode.
MITv1.2.0.0
@hackage/sjsp
Simple JavaScript Profiler
MITv0.1.0
@hackage/souffle-dsl
Haskell EDSL for Souffle
MITv0.1.0
@hackage/soyuz
DCPU-16 architecture utilities for Notch's 0x10c game.
MITv0.0.0
@hackage/statechart
Compiles Rhapsody statecharts to C.
BSD-3-Clausev0.1.0
@hackage/staticanalysis
Reusable static analysis interfaces and modules.
GPL-3.0-onlyv0.0.0.3
@hackage/sunroof-compiler
Monadic Javascript Compiler
BSD-3-Clausev0.2
@hackage/sunroof-examples
Tests for Sunroof
BSD-3-Clausev0.2.2
@hackage/supero
A Supercompiler
BSD-3-Clausev3.0
@hackage/swf
A library for creating Shockwave Flash (SWF) files
BSD-3-Clausev1.0.1
@hackage/tempus
Interpreter for the FRP language Tempus
BSD-3-Clausev0.1.0
@hackage/textmatetags
A simple Haskell program to provide tags for Haskell code completion in TextMate
MITv0.0.1.2
@hackage/tiger
Tiger Compiler of Universiteit Utrecht
BSD-3-Clausev1.1.1
@hackage/transf
Text transformer and interpreter.
BSD-3-Clausev0.13.1
@hackage/unbound
Generic support for programming with names and binders
BSD-3-Clausev0.5.1.1
@hackage/unification-fd
Simple generic unification algorithms.
BSD-3-Clausev0.11.2
@hackage/unique-lang
Esoteric programming language where each number can only appear once
MITv0.1.0.0
@hackage/unlambda
Unlambda interpreter
LicenseRef-GPLv0.1.4.2
@hackage/uu-cco
Utilities for compiler construction: core functionality
BSD-3-Clausev0.1.0.5
@hackage/uu-cco-examples
Utilities for compiler construction: example programs
BSD-3-Clausev0.1.0.1
@hackage/uu-cco-hut-parsing
Utilities for compiler construction: Feedback wrapper around parser in uulib
BSD-3-Clausev0.1.0.1
@hackage/uu-cco-uu-parsinglib
Utilities for compiler construction: Feedback wrapper around parser in uu-parsinglib
BSD-3-Clausev0.1.0.1
@hackage/vintage-basic
Interpreter for microcomputer-era BASIC
BSD-3-Clausev1.0.3
@hackage/wasm
WebAssembly Language Toolkit and Interpreter
MITv1.1.1
@hackage/whitespace
Whitespace, an esoteric programming language.
LicenseRef-GPLv0.4
@hackage/yabi
Yet Another Brainfuck Interpreter
MITv0.2.0.0
@hackage/zeolite-lang
Zeolite is a statically-typed, general-purpose programming language.
Apache-2.0v0.24.1.0
@hackage/zot
Zot language
BSD-3-Clausev0.0.3

Compilers and Interpreters

@hackage/Befunge93

@hackage/CPBrainfuck

@hackage/CPL

@hackage/DeepDarkFantasy

@hackage/Delta-Lambda

@hackage/Elm

@hackage/Fungi

@hackage/HARM

@hackage/Haschoo

@hackage/INblobs

@hackage/Jikka

@hackage/KiCS

@hackage/LambdaShell

@hackage/NXTDSL

@hackage/TinyLaunchbury

@hackage/TransformeR

@hackage/TypeIlluminator

@hackage/accelerate

@hackage/accelerate-bignum

@hackage/accelerate-cuda

@hackage/accelerate-examples

@hackage/accelerate-fft

@hackage/accelerate-io

@hackage/accelerate-llvm

@hackage/accelerate-llvm-native

@hackage/accelerate-llvm-ptx

@hackage/agda2hs

@hackage/ajhc

@hackage/alms

@hackage/alpha

@hackage/amrun

@hackage/angle

@hackage/annah

@hackage/asic

@hackage/asil

@hackage/atuin

@hackage/baskell

@hackage/binaryen

@hackage/bond

@hackage/bound

@hackage/bound-extras

@hackage/bound-gen

@hackage/brainfuck

@hackage/brainfuck-monad

@hackage/cao

@hackage/cfipu

@hackage/cfopu

@hackage/circ

@hackage/cnc-spec-compiler

@hackage/compilation

@hackage/control-dsl

@hackage/core-compiler

@hackage/core-haskell

@hackage/datafix

@hackage/dataflow

@hackage/dcpu16

@hackage/ddc-base

@hackage/ddc-build

@hackage/ddc-code

@hackage/ddc-core

@hackage/ddc-core-babel

@hackage/ddc-core-eval

@hackage/ddc-core-flow

@hackage/ddc-core-llvm

@hackage/ddc-core-salt

@hackage/ddc-core-simpl

@hackage/ddc-core-tetra

@hackage/ddc-driver

@hackage/ddc-interface

@hackage/ddc-source-tetra

@hackage/ddc-tools

@hackage/ddc-war

@hackage/ddci-core

@hackage/dedukti

@hackage/dhall

@hackage/dhall-bash

@hackage/dhall-csv

@hackage/dhall-docs

@hackage/dhall-json