Official Elixir Language Server Protocol implementation

Lean 4 programming language and theorem prover

Lisp Flavoured Erlang (LFE)

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

simple terminal UI for git commands

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!

An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

Penpot: The open-source design tool for design and code collaboration

A dialect of Lisp that's embedded in Python

Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.

opinionated typing library for elixir

Moved to Codeberg

🔎 Open source distributed and RESTful search engine.

Automate code & data workflows with interactive Elixir notebooks

Restarts an app when the filesystem changes. Uses growl and FSEventStream if on OS X.

A modern proof language

sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal

A static analyzer for Java, C, C++, and Objective-C

⭐️ A friendly language for building type-safe, scalable systems!

Siege is an http load tester and benchmarking utility

Convolutional Neural Networks

Code for the paper "Controlling Style and Semantics in Weakly-Supervised Image Generation", ECCV 2020

GPU Accelerated JavaScript

A lodash-inspired lens-like library for Javascript

Functional programming in TypeScript

Monads and other dark magic for Elixir

fzf ❤️ vim

Papers from the computer science community to read and discuss.

"every time I watch one of his talks I feel like someone has gone in and organized my brain"