bapcyk's Stars
FredrikNoren/ungit
The easiest way to use git. On any platform. Anywhere.
microsoft/winfile
Original Windows File Manager (winfile) with enhancements
webpy/webpy
web.py is a web framework for python that is as simple as it is powerful.
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
CosmosOS/Cosmos
Cosmos is an operating system "construction kit". Build your own OS using managed languages such as C#, VB.NET, and more!
hjson/hjson
Hjson, a user interface for JSON
TokTok/c-toxcore
The future of online communications.
psake/psake
A build automation tool written in PowerShell
protegeproject/protege
Protege Desktop
B00merang-Project/Windows-10
Windows 10 Light theme for Linux (GTK)
emacsorphanage/helm-swoop
Efficiently hopping squeezed lines powered by Emacs helm interface
dotnet-websharper/core
WebSharper - Full-stack, functional, reactive web apps and microservices in F# and C#
davidgiven/ack
The Amsterdam Compiler Kit
khibino/haskell-relational-record
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
ThomasMertes/seed7
Source code of Seed7
B00merang-Project/Redmond-Themes
Home of the B00merang Redmond Collection themes for Linux
vishapoberon/compiler
vishap oberon compiler
modula3/cm3
Critical Mass Modula-3
redstar/m2lang
The LLVM-based Modula-2 compiler
serokell/o-clock
:hourglass: Type-safe time units in Haskell
libxmq/xmq
Convert xml/html to a more human readable/editable format (xmq/htmq) and back can also work with json. Includes a syntax highlighter and pretty printer, pager and can render to html and tex.
zonnonproject/compiler
Zonnon compiler for .NET (Moved from https://zonnon.codeplex.com/)
michaelt/streaming-utils
experimental http, attoparsec and pipes material for `streaming` and `streaming-bytestring`
emdonahue/SmallKanren
miniKanren in Pharo
massimo-nocentini/microkanrenst
varosi/robko01
Multi-OS console application for controlling "Robko 01" - a Bulgarian educational robot