debil2004

debil2004's Stars

• Copilot-Language/copilot

  A stream-based runtime-verification framework for generating hard real-time C code.

  Language:Haskell62450

• BartoszMilewski/Okasaki

  Functional data structures in C++

  Language:C++55680

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.3k1.5k

• facebookincubator/retrie

  Retrie is a powerful, easy-to-use codemodding tool for Haskell.

  Language:Haskell50030

• debil2004/debil2004

  Config files for my GitHub profile.

  1

• sdiehl/wiwinwlh

  What I Wish I Knew When Learning Haskell

  Language:Haskell2.6k238

• xt-sys/exectos

  ExectOS Operating System

  Language:C1118

• otya128/winevdm

  16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows

  Language:C2.6k150

• ValveSoftware/wine

  Wine with a bit of extra spice

  Language:C1.2k233

• wine-mirror/wine

  Language:C3k1k

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k371

• v-kolesnikov/sicp

  SICP on Clojure

  Language:Clojure12816

• HumbleUI/HumbleUI

  Clojure Desktop UI framework

  Language:Clojure1.4k47

• thobbs/genartlib

  Utilities for creating generative artwork with Clojure

  Language:Clojure21520

• turborium/TurboTasks

  programming tasks for begginers

  4214

• hugoduncan/criterium

  Benchmarking library for clojure

  Language:Clojure1.2k53

• libgdx/libgdx

  Desktop/Android/HTML5/iOS Java game development framework

  Language:Java23.1k6.4k

• quil/quil

  Main repo. Quil source code.

  Language:Clojure3k164

• turborium/ChaikinSmoothEffect

  ChaikinSmoothEffect (Delphi + FMX)

  Language:Pascal21

• turborium/PixelsWow

  WOW

  Language:Pascal54

• lukas-reineke/indent-blankline.nvim

  Indent guides for Neovim

  Language:Lua4.1k101

• inclojure-org/clojure-by-example

  An introduction to Clojure, for programmers who are new to Clojure.

  Language:Clojure14823

• PEZ/rich4clojure

  Practice Clojure using Interactive Programming in your editor

  Language:Clojure20442

• lightistor/mock-vpn-tunnel-in-java

  Language:Java3

• zk-phi/indent-guide

  Show vertical lines to guide indentation

  Language:Emacs Lisp36824

• TheAlgorithms/Clojure

  All Algorithms implemented in Clojure

  Language:Clojure8727

• functional-koans/clojure-koans

  A set of exercises for learning Clojure

  Language:Clojure3.7k2.1k

• Alexays/Waybar

  Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

  Language:C++6.1k680

• mattwparas/steel

  An embedded scheme interpreter in Rust

  Language:Rust1.1k50

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust32.4k2.4k