Archaversine

Archaversine's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown303k5.4k68028.4k

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++89.8k1.5k52.7k20.9k

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust33.2k1874.5k2.5k

• cheat-engine/cheat-engine

  Cheat Engine. A development environment focused on modding

  Language:Pascal14.8k3302.4k2.2k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k99190397

• apsdehal/awesome-ctf

  A curated list of CTF frameworks, libraries, resources and softwares

  Language:JavaScript9.7k284181.5k

• Lxtharia/minegrub-theme

  A Grub Theme in the style of Minecraft!

  Language:Python3.2k143841

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k512.2k355

• haskell/aeson

  A fast Haskell JSON library

  Language:Haskell1.3k39495321

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k281.1k135

• Alex313031/Mercury

  Firefox fork with compiler optimizations and patches from Librewolf, Waterfox, and GNU IceCat.

  Language:JavaScript1.2k2219625

• ndmitchell/ghcid

  Very low feature GHCi based IDE

  Language:Haskell1.1k22289113

• purescript/spago

  🍝 PureScript package manager and build tool

  Language:PureScript78119585132

• nick8325/quickcheck

  Automatic testing of Haskell programs.

  Language:Haskell71728212119

• clojurians-org/haskell-ebook

  39723082

• haskell/lsp

  Haskell library for the Microsoft Language Server Protocol

  Language:Haskell3641819191

• emacs-lsp/lsp-haskell

  lsp-mode :heart: haskell

  Language:Emacs Lisp2361610861

• justinwoo/easy-purescript-nix

  Easy PureScript (and other tools) with Nix

  Language:Nix19393956

• stefan-hoeck/idris2-tutorial

  Language:Idris19291327

• agda/agda2hs

  Compiling Agda code to readable Haskell

  Language:Agda1752018137

• loophp/combinator

  A curated list of combinators

  Language:PHP106752

• stefan-hoeck/idris2-json

  Automatically derivable JSON marshallers in the spirit of Haskell's aeson

  Language:Idris16345

• adam-mcdaniel/markdown-to-html

  A Markdown to HTML compiler written in Haskell.

  Language:Haskell15202

• dwayne/xo-haskell

  A Haskell library and CLI game for Tic-tac-toe.

  Language:Haskell6211

• tusharad/markdown-parser

  Convert markdown text into html

  Language:Haskell5300

• gill14/AccuPatt

  A software tool for agricultural aircraft spray pattern testing. This includes measuring tracer dye deposition on string collectors and measuring droplet deposition from spray cards.

  Language:Python33272

• sho16ogura/cs292team5

  Language:GDScript2101

• anchao0207/NMR

  Language:Python110

• bitbanger/schemas

  Preliminary work on schema-based story understanding

  Language:Common Lisp1501

• infiniterik/detoxify

  Detoxifying Online Discourse: A Guided Response Generation Approach for Reducing Toxicity in User-Generated Text

  Language:Python1100