Stars
- All languages
- Agda
- Arduino
- Assembly
- Augeas
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- G-code
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Kotlin
- Makefile
- Nim
- OCaml
- Objective-C
- Opa
- PHP
- Pascal
- Perl
- Prolog
- PureScript
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Svelte
- Tcl
- TeX
- TypeScript
- Vala
- Vue
- WebAssembly
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
An electron app for building Sapper projects
Free Life Planner: An AI tool for helping with planning for day-to-day life.
Evidence & Conclusion Ontology development site: Use ISSUES to request terms. See WIKI for how to request terms. See README for how to cite ECO. Visit our website for more project info.
Webstránka veřejných infografik o změně klimatu světa
FLVIz - Finite Automata Simulator written in QT/Graphviz
This repository hosts a practical research into leveraging logic programming to solve accounting problems.
notes, scripts, utilities, dotfiles, experiments, toys..
urbindex is a social app that allows users to document, mark, rate, and discuss various hyperlocal areas, such as places to find power outlets, trails, campsites,abandoned buildings.
A proof-of-concept SWI-Prolog implementation of Web Prolog
Application de gestion des données basée sur semantic_forms
OpenMoCo Libraries for AVR