oliverbunting Goto Github PK
Name: OllieB
Type: User
OllieB's Projects
bang
Out of order RiscV
binance-official-api-docs
Official Documentation for the Binance APIs and Streams
bnfc
BNF Converter
categoriespp
An attempt at Haskell in c++
clash-circuit
High-level Circuit abstractions in Clash
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
clash-ltl-prim
Linear temporal logic primitives for working with Clash
clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
contiki
The official git repository for Contiki, the open source OS for the Internet of Things
contracts
Haskell Contracts Checker
d3hs
A diagram library implementation for Haskell based on ghcjs-dom, allowing for diagrams to be rendered in via javascript or webkitGTK
deepspeech
A PyTorch implementation of DeepSpeech and DeepSpeech2.
dependent-sum-template
Template Haskell code to generate instances of classes from dependent-sum
dotfiles
Application config
engine.io
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols
esserv
Extra Small SErial Risc-V
ffts
The Fastest Fourier Transform in the South
flakes-warpx
nix flake for building warpx
freet
Free Monad with constraint kinds
generic-lens
Generically derive traversals, lenses and prisms.
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
ghci-dap
ghci having DAP interface.
ghcjs-dom
Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk
gtk2hs
GUI library for Haskell based on GTK+
halo
ha.skell -> lo.gic
hipspec
A hip inductive theorem prover!
hypergraphdb
HyperGraphDB is a general purpose, extensible, portable, distributed, embeddable, open-source data storage mechanism. It is a graph database designed specifically for artificial intelligence and semantic web projects, it can also be used as an embedded object-oriented database for projects of all sizes.
jsaddle
High level interface for webkit-javascriptcore
jsaddle-dom
DOM library that uses jsaddle to support both GHCJS and WebKitGTK
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.