sebeaumont Goto Github PK
Name: Simon Beaumont
Type: User
Company: Vectis Verification
Bio: Information scientist, mathematician and programmer. Obsessed with functional languages, machine learning, types and proof.
Location: England
Simon Beaumont's Projects
idris2
A purely functional programming language with first class types
idris2-mode
Emacs mode for Idris2
implicitcad
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
indras
Some of the goodness from Indra's Pearls just to keep me playful and sane
lamark
Simple linear algebra benchmarks for comparison
linux-on-litex-vexriscv
Linux on LiteX-VexRiscv
litex
Build your hardware, easily! - Local fixes
llvm-hs-kaleidoscope
Kaleidoscope Tutorial using llvm-hs
nominal
Haskell implementation of nominal datatypes and functions
ohmyzsh
🙃 A delightful community-driven (with 1700+ contributors) framework for managing your zsh configuration. Includes nearly 300 optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
omega
The final SDM project
opencpn
A concise ChartPlotter/Navigator. A cross-platform ship-borne GUI application supporting * GPS/GPDS Postition Input * BSB Raster Chart Display * S57 Vector ENChart Display * AIS Input Decoding * Waypoint Autopilot Navigation
openocd
Local fork for rp2040 picoprobe and custom ft232h JTAG
opensbi
RISC-V Open Source Supervisor Binary Interface
orangecrab-examples
Example projects/code for the OrangeCrab
orangecrab-hardware
ECP5 breakout board in a feather physical format
org-tree-slide
A presentation tool for org-mode based on the visibility of outline trees
plfa.github.io
An introduction to programming language theory in Agda
retroclash-lib
Library code for upcoming RetroClash book
retroclash-sim
High-level simulators for the RetroClash book
scripts
Scripts that do routine tasks.
sdmdb
Old (c++) backend for sparse distributed memory database
sdmlab
Original sdmlab with Haskell front end
site-lisp
Local elisp hacks
spatialite-simple
Haskell GIS library package using SpatiaLite and SQLite3 (sqlite-simple, direct-sqlite)
sqlite-simple
Mid-level bindings for sqlite
system
System tools
tidal
Pattern language
typecompose
Type composition classes & instances & misc
ulx3s
PCB for ULX3S FPGA R&D board
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.