sventimir Goto Github PK
Name: Sventimir
Type: User
Bio: Experienced software engineer, specialised in statically typed functional programming.
Location: Gdańsk
Sventimir's Projects
battleships
A game of battleships with the option of plugging in an automated player.
bridge-mentor
A set of tools for learning the game of bridge.
byteq
An exercise in compiler/VM implementation.
circular
A simple circular progress bar for Eliom applications
emacs-config
My custom Emacs configuration
emacs-mina
Run, monitor and interact with mina daemon inside Emacs.
euclid
A geometric constructions renderer.
euclids-elements
This is the Polish translation of fragments of famous Euclid's Elements
ffjson
A command line JSON processor
find.rs
Rust implementation of the standard find program.
game-of-life
A simple implementation of Conway's Game of Life in Haskell
idris2
A purely functional programming language with first class types
inspiration-and-improvement
A framework for building card-games
life-idr
A simple implementation of Conway's Game of Life in Idris with SDL interface.
logicgames
A Haskell, console implementation of MasterMind.
numeric
Idirs library of definitions of different number systems, conversions and operations on them.
ocamldot
Dependency grapher for OCaml projects
pacman-cache-clean
Clean old versions of packages downloaded by pacman.
perceptron
A simple demonstration of capabilities of a perceptron
scanmail
A minimalistic wrapper around e-mail synchroniser providing nice notifications.
sdl-idris
SDL bindings package for idris
snarkyhs
A library for building, proving and verifying ZK SNARKs.
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
splendour
An implementation of the rules of the known game.
src-depend
Source code dependency graph sketcher.
two-over-one
Description of the duplicate bridge bidding system
veles
A statically typed variant of Lisp programming language.
vim.cfg
My vim bundle and config files.
wesnoth-scenarios
A collection of scenarios for Battle for Wesnoth game.
xmonad-config
My personal XMonad configuration and add-ons.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.