jdevuyst
Functional programmer and former iOS developer. PhD in Philosophy and @recursecenter alumnus. Finished half a Bachelor CS program at some point.
jdevuyst's Stars
Textualize/rich
Rich is a Python library for rich text and beautiful formatting in the terminal.
vercel/hyper
A terminal built on web technologies
jgraph/drawio
draw.io is a JavaScript, client-side editor for general diagramming.
mingrammer/diagrams
:art: Diagram as Code for prototyping cloud system architectures
helix-editor/helix
A post-modern modal text editor.
ArchiveBox/ArchiveBox
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
magic-wormhole/magic-wormhole
get things from one computer to another, safely
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
wader/fq
jq for binary formats - tool, language and decoders for working with binary and text formats
unisonweb/unison
A friendly programming language from the future
kevquirk/simple.css
Simple.css is a CSS template that allows you to make a good looking website really quickly.
arxanas/git-branchless
High-velocity, monorepo-scale workflow for Git
cuelang/cue
CUE has moved to https://github.com/cue-lang/cue
idris-lang/Idris2
A purely functional programming language with first class types
jaspervdj/patat
Terminal-based presentations using Pandoc
bigH/git-fuzzy
interactive `git` with the help of `fzf`
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
climech/grit
Multitree-based personal task manager
lmorg/murex
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
rehacktive/caffeine
A basic REST service for JSON data - enough for prototyping and MVPs!
tweag/ormolu
A formatter for Haskell source code
edwinb/Idris2-boot
A dependently typed programming language, a successor to Idris
agentm/project-m36
Project: M36 Relational Algebra Engine
ianh/owl
A parser generator for visibly pushdown languages.
nushell/reedline
A feature-rich line editor - powering Nushell
brendoncarroll/webfs
A Filesystem Built On Top of the Web.
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
migamake/json-autotype
Automatic Haskell type inference from JSON input
sweirich/challenge
Strongly-typed System F in Haskell
regadas/github-actions-dhall
Typecheck, template and modularize your Github Action definitions with Dhall