flavioc

flavioc's Stars

• yetone/avante.nvim

  Use your Neovim like using Cursor AI IDE!

  Language:Lua6.8k246

• apple-oss-distributions/xnu

  Language:C1.8k192

• flavioc/cross-hurd

  Scripts for cross-compiling and creating an Hurd system

  Language:Shell287

• tipsy/profile-summary-for-github

  Tool for visualizing GitHub profiles

  Language:Vue19.9k505

• favonia/cbpv

  Call-by-push-value in Celf

  6

• robsimmons/cmu-thesis

  Latex starters for creating a CMU thesis or thesis proposal

  Language:TeX3321

• flavioc/cl-funcpar

  Parallel abstractions for Common Lisp

  Language:Common Lisp3

• flavioc/cl-yacc

  Fork of the CL-Yacc project

  21

• flavioc/meld

  Meld virtual machine.

  Language:C++2910

• flavioc/CL-Pi-Calculus

  An interpreter for a language based on the Pi-Calculus

  Language:Common Lisp5

• flavioc/cl-meld

  Meld compiler written in Common Lisp

  Language:Common Lisp141

• flavioc/yap-examples

  Dump of test programs: for sync & backup

  Language:Prolog2

• flavioc/paip

  Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp code

  Language:Common Lisp41

• flavioc/XSB

  XSB Prolog

  Language:C133

• flavioc/yaptab-tests

  YapTab Tests

  Language:Prolog2

• flavioc/cl-hurd

  Language:Common Lisp81

• flavioc/yap

  YAP is a high-performance Prolog compiler

  Language:C124

• Homebrew/legacy-homebrew

  💀 The former home of Homebrew/homebrew (deprecated)

  27k11.3k