Skip to content
View dmjio's full-sized avatar
:octocat:
:octocat:

Sponsors

@lemmih
@mstksg
@MaxGabriel

Sponsoring

@lemmih
@mstksg

Organizations

@NixOS @hdbc @jswebtools @faylang @acid-state @arrayfire @haskell-servant @chicagohaskell

Block or report dmjio

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Load a GHCi session for a Haskell project and reload it when source files change

Rust 126 12 Updated Feb 11, 2025

JavaScript Engine Optimized for Lynx

C++ 500 16 Updated Mar 5, 2025

Empower the Web community and invite more to build across platforms.

C++ 6,291 212 Updated Mar 7, 2025

Tame RecordWildCards

Haskell 14 1 Updated Dec 30, 2024

Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.

Haskell 32 2 Updated Feb 26, 2024

Rapid prototyping with GHCi

Haskell 58 5 Updated Jul 10, 2018

A list of awesome resources for tmux

8,180 318 Updated Feb 6, 2025

Haskell bindings to binaryen.

WebAssembly 14 2 Updated Apr 27, 2021

Hierarchical state machine

Rust 3 2 Updated Feb 10, 2025

Haskell port of the Nanopass Compiler Framework

Haskell 21 1 Updated Jan 8, 2024

🚀 The easiest, free and open-source Tailwind CSS component library with semantic classes.

CSS 1,726 60 Updated Jan 16, 2025

Visual primitives for the component age. Use the best bits of ES6 and CSS to style your apps without stress 💅

TypeScript 40,717 2,507 Updated Feb 5, 2025

Type-safe printf from parsing GHC TypeLits Symbol

Haskell 26 2 Updated Sep 12, 2024

the Istanbul command line interface

JavaScript 5,651 359 Updated Dec 6, 2024

Type-Level Binary Search Tree in Haskell

Haskell 7 2 Updated Oct 28, 2014

Allow GHCJS projects to compile under GHC and develop using intero

Haskell 10 7 Updated Aug 27, 2022

an experimental new programming language based on interaction nets

Rust 217 9 Updated Mar 6, 2025

List of awesome CSS frameworks in 2025

CSS 8,391 466 Updated Dec 22, 2024

A well-typed Directed Acyclic Graph in Haskell

Haskell 14 2 Updated Jan 25, 2015

Node.js JavaScript runtime ✨🐢🚀✨

JavaScript 110,015 30,855 Updated Mar 7, 2025

A WASI shim for in the browser

TypeScript 332 42 Updated Feb 13, 2025

jsaddle interface for WebGHC

Haskell 9 2 Updated Sep 17, 2020

Inpla: Interaction nets as a programming language (the current version)

Yacc 293 9 Updated Oct 30, 2024

Tutorial / REPL for the lambda calculus

JavaScript 66 9 Updated Oct 9, 2024

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Rust 829 57 Updated Jul 22, 2024

The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"

Haskell 23 3 Updated Mar 30, 2011

High performance UI layout library in C.

C 12,060 419 Updated Mar 7, 2025

Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]

C++ 998 33 Updated Feb 11, 2025

Компилятор Рефала-5λ

C++ 83 35 Updated Nov 5, 2023

egraphs + datalog!

Rust 499 59 Updated Mar 5, 2025
Next
Showing results