Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- ATS
- Ada
- Agda
- Alloy
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Isabelle
- J
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Lua
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- PHP
- PLpgSQL
- Perl
- PowerShell
- Prolog
- PureScript
- Python
- R
- Racket
- ReScript
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- TLA
- TeX
- TypeScript
- Vue
- ZAP
- ZIL
- Zig
Defold is a completely free to use game engine for development of desktop, mobile and web games.
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…
Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers
ClassicUO - an open source implementation of the Ultima Online Classic Client.
List of Ultima Online clients available to download
a multi-system chiptune tracker compatible with DefleMask modules
A java agent for tracing which can be configured via simple text file and instruments the code without rebuilding the project.
A Language Server for Postgres
OpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
Download de dados do DataSUS e pré-processamento no R.
🐳 🚦 Docker Traffic Control - network rate limiting, emulating delays, losses, duplicates, corrupts and reorders of network packets using only container labels or a command-line interface.
Functional HTML scraping and rewriting with CSS in OCaml
A replacement engine for Ultima VII The Black Gate (and eventually Serpent Isle) that presents a new camera angle and other improvements.
Embedded high-precision Clojure profiler
A clojure library for bypassing java protected fields
A trace-based debugging library for Clojure and ClojureScript.
analyzes a counterpoint composition to check 1st species rules