Topic: idris2 Goto Github
Some thing interesting about idris2
Some thing interesting about idris2
idris2,Indexed vectors for Idris!
User: 0xd34df00d
idris2,Implementation of Russel paradox in Idris 2
User: algebraicwolf
idris2,Unusable Resource-dependent algebraic effects library in Idris 2.
User: alissa-tung
idris2,Unusable Idris2 binding of Isocline.
User: alissa-tung
idris2,A Categorical View of Computation
Organization: anoma
Home Page: https://anoma.github.io/geb/
idris2,p5.js Bindings for Idris using JS Backend (WIP)
User: archaversine
idris2,Dash docset for Idris 2 libraries
User: bamboo
idris2,The Dart backend for Idris 2.
User: bamboo
idris2,Experiments with dependently-typed programming in Idris2
User: bkomuves
idris2,Functional API wrapper for Minecraft bedrock script api (But Idris)
User: caimeox
idris2,An unofficial Idris2 package repository for Nix
User: claymager
idris2,Dockerfile and images for idris and idris2
User: dgellow
idris2,FFI-backed floating point utilities for Idris 2.
User: gwerbin
Home Page: https://sr.ht/~wintershadows/idris2-float-utils/
idris2,Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
User: jfdm
idris2,Multi-arch, multi-distro Docker images for Idris 2
User: joshuanianji
idris2,Mirror of https://git.tokinanpa.dev/toki/idris2-lens
User: kiana-s
idris2,Mirror of https://git.tokinanpa.dev/toki/numidr
User: kiana-s
idris2,My solutions to Advent Of Code puzzles
User: lambda-mike
idris2,Veribase Idris2 [MIRROR]
Organization: librecybernetics
idris2,ByteStrings for Idris2!
User: marcelinevq
idris2,libcurl bindings for idris2
User: marcelinevq
idris2,implementation deriving for idris2
User: marcelinevq
idris2,Automatic resource management for a common use-pattern.
User: marcelinevq
idris2,Newtype, Generic Interface Deriving
User: marcelinevq
idris2,Immutable Size Indexed Arrays
User: marcelinevq
idris2,Effectful Streaming for Idris
User: marcelinevq
idris2,Idris (Idris2) port of the Haskell biocore library.
User: matthew-mosior
idris2,Idris (Idris2) port of the Haskell elynx-seq library.
User: matthew-mosior
idris2,insertion sort and bubble sort implementations carrying proofs of correctness
User: namanhd
idris2,Advent of Code 2021 solutions in the dependently typed functional programming language Idris2
User: olavhaasie
Home Page: https://adventofcode.com/2021
idris2,A portable idris2 implementation of TLS
User: pufferffish
idris2,markdown parse for idris2
User: running-grass
idris2,A URL library for idris2, Based on RFC 1738.
User: running-grass
idris2,I try develop web application by idris2;
User: running-grass
idris2,A monad that models stateful throwing IO computation
User: russoul
idris2,A programming language based on extensional Martin Lof Type Theory
User: russoul
idris2,Learning repo using Idris2 for ML
User: willclarktech
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.