aveia

aveia's Stars

• DoodleJZ/HPSG-Neural-Parser

  Source code for "Head-Driven Phrase Structure Grammar Parsing on Penn Treebank" published at ACL 2019

  Language:Python10725

• One-Language/One

  One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (release as soon) 1️⃣ 🕐 🩱

  Language:C28859

• fogus/ulithp

  A micro LISP implementation in 24 lines of Ruby.

  Language:Ruby27333

• jarlostensen/InteractiveAssembler64

  An interactive x86_64 assembler, modelled on the good old DOS debug.exe with a simple yet powerful command line interface.

  Language:C++16

• boogie-org/boogie

  Boogie

  Language:Boogie514112

• rmusser01/Infosec_Reference

  An Information Security Reference That Doesn't Suck; https://rmusser.net/git/admin-2/Infosec_Reference for non-MS Git hosted version.

  Language:CSS5.6k1.2k

• rswier/c4

  C in four functions

  Language:C9.8k1.4k

• emina/kodkod

  Kodkod solver for relational logic

  Language:Java7423

• numcl/specialized-function

  Julia-like dispatch for Common Lisp

  Language:Common Lisp604

• orthecreedence/highlight-lisp

  A Common Lisp syntax highlighter written in Javascript

  Language:JavaScript777

• quchen/stgi

  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

  Language:Haskell52726

• daviderestivo/homebrew-emacs-head

  GNU Emacs formula for the Homebrew package manager

  Language:Ruby29829

• leereilly/games

  :video_game: A list of popular/awesome video games, add-ons, maps, etc. hosted on GitHub. Any genre. Any platform. Any engine.

  23k3.2k

• latentflip/loupe

  Visualizing the javascript runtime at runtime

  Language:JavaScript3.2k504

• angstsmurf/spatterlight

  Updated fork of Spatterlight

  Language:C++1096

• hugsy/gef

  GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

  Language:Python7.1k739

• overtone/overtone

  Collaborative Programmable Music

  Language:Clojure5.9k449

• gregcman/all-known-github-lisp-games

  All known Common Lisp games on github

  122

• gregcman/sucle

  Common Lisp Voxel Game Engine

  Language:Common Lisp29024

• Th30n/cl-shake

  A Doom like game made in Common Lisp

  Language:Common Lisp101

• rpav/GameKernel

  GameKernel is a command-driven "kernel" of game functionality. Its goal is to be a fast, portable, and language-friendly.

  Language:C++10

• rpav/spell-and-dagger

  Lisp Game Jam 2016 Q2 entry

  Language:Common Lisp6

• Bunkerbewohner/gamelisp

  My game-oriented programming language inspired by Lisp, Go, Python, Clojure; implemented in Go

  Language:Go11

• psilord/option-9

  A Shoot'em Up Game Written in Common Lisp

  Language:Common Lisp344

• massung/lexer

  A lexing package for Common Lisp

  Language:Common Lisp4311

• massung/parse

  Monadic parsing for Common Lisp

  Language:Common Lisp304

• dalleng/compilers-vm

  Vagrant VM for Stanford Online Compilers Class

  Language:Shell86

• ekmett/lens

  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

  Language:Haskell2k273

• Fanael/persistent-scratch

  Preserve the scratch buffer across Emacs sessions

  Language:Emacs Lisp13214

• jeanqasaur/dsl-syllabus-fall-2016

  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.

  21311